$\forall$$T$:Type, $L$:($T$ List). (0 $<$ $\parallel$$L$$\parallel$) $\Rightarrow$ sqequal($L$; cons(hd($L$); tl($L$)))